From Logic Programming to Multi-agent systems
نویسندگان
چکیده
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive" component and which can encompass multi-agent systems. The extension to multi-agent systems, in particular, arguably brings to LP the main benefits of object-orientation, including encapsulation. We modify an earlier abductive proof procedure and embed it within an agent cycle. The proof procedure incorporates abduction, definitions and integrity constraints within a dynamic environment, where changes can be observed as inputs. The definitions allow rational planning behaviour and the integrity constraints allow reactive, conditionaction type behaviour. The agent cycle provides a resource-bounded mechanism that allows the agent's thinking to be interrupted for the agent to record and assimilate observations as input and execute actions as output, before resuming further thinking. We argue that these extensions of LP, accommodating multi-theories embedded in a shared environment, provide the necessary multi-agent functionality. We argue that our work extends Shoham's agent0 and the BDI architecture.
منابع مشابه
Using ILP-Systems for Verification and Validation of Multi-agent Systems
Most applications of inductive logic programming focus on prediction or the discovery of new knowledge. We describe a less common application of ILP namely veriication and validation of knowledge based systems and multi-agent systems. Using inductive logic programming, partial declarative speciications of the software can be induced from the behavior of the software. These rules can be readily ...
متن کاملApplying Logic Programming to the Specification of Complex Applications
In this paper we show how multi-theory logic programming techniques can be prootably applied to the realization of multi-agent systems which solve complex problems. Our goal is to use logic programming as a tool to give an executable speciication of a multi-agent system, obtained from a high-level informal description of the interactions among the diierent system components. We have implemented...
متن کاملA Multi-paradigm Approach for Mobile Agents Development
Mobile agent systems have received important attention in the last years as a new programming paradigm for widely distributed and heterogeneous systems. In this article, a multi-paradigm approach for the development of intelligent mobile agents is presented. It integrates both object-oriented and logic paradigms. The rationale for this approach comes from the fact that although the object-orien...
متن کاملPossession as Linear Knowledge
Epistemic logic analyzes reasoning governing localized knowledge, and is thus fundamental to multiagent systems. Linear logic treats hypotheses as consumable resources, allowing us to model evolution of state. Combining principles from these two separate traditions into a single coherent logic allows us to represent localized consumable resources and their flow in a distributed system. The slog...
متن کاملThe First Contest on Multi-agent Systems Based on Computational Logic
This is a short report about the first contest of Multi-Agent Systems (MASs) that are based on computational logic. The CLIMA workshop series (which started in 1999) is a forum to discuss techniques, based on computational logic, for representing, programming, and reasoning about Multi-Agent Systems in a formal way. Now in its seventh year, it was felt that organising a competition for evaluati...
متن کامل